#ifndef __CPU_H__
#define __CPU_H__
#include "tinyos_types.h"

void system_tick_init(u32 ms);
#endif 
